En teoría de grupos, un grupo G se dice libre si hay un subconjunto S de G, tal que todo elemento de G puede escribirse en una forma única como producto de finitos elementos de S y sus inversos (descontando variaciones triviales como st-1 = su-1ut-1).
Un concepto relacionado, aunque distinto, es el de grupo abeliano libre.